CatDat

Implication Details

Assumptions: locally copresentableself-dual

Conclusions: locally presentable

Reason: This holds by self-duality.